Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva

Sommario La programmazione logica disgiuntiva (PLD) costituisce un potente strumento per la rappresentazione della conoscenza e del ragionamento di senso comune. Un’importante applicazione della PLD è l’answer set planning. Nell’answer set planning un problema di pianificazione P è codificato in un programma PL in PLD, tale che ogni answer set di PL corrisponda ad una soluzione del problema di planning P . Nel presente lavoro abbiamo preso in considerazione il sistema RCS, il sistema di controllo di reazione dello Space Shuttle. Abbiamo progettato una tecnica, basata su answer set planning, per la pianificazione delle azioni da svolgere per effettuare le manovre dello Space Shuttle, partendo da un precedente lavoro realizzato dal gruppo di ricerca KRLab del Texas Tech University. La nostra tecnica supera alcuni limiti riscontrati nel precedente metodo garantendo, in particolare, una migliore “qualità” dei piani calcolati. Abbiamo implementato la nostra tecnica facendo uso del sistema di programmazione logica disgiuntiva DLV.